The Petri-Nets to Statecharts Transformation Case
نویسندگان
چکیده
This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.
منابع مشابه
Action Nets and Abstract Statecharts in the Theory of High-level Replacement Systems 5 Union and Transformation Concepts and Results
In software engineering one of the main issues is structuring. As well horizontal { composing and decomposing a system { as vertical structuring { stepwise reenement of a system { are essential for the development of large and complex systems. In this paper we transfer well-known structuring techniques for horizontal and vertical structuring, namely union and transformation to abstract statecha...
متن کاملHorizontal and Vertical Structuring Techniques for Statecharts
Abstract In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to de ne union as horizontal as well as transformation...
متن کاملHorizontal and Vertical Structuring Techniques for Statechartsa
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to deene union as horizontal as well as transformation and reen...
متن کاملTransformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems
We propose a modeling and an evaluation technique for the validation of the dependability of distributed systems such as networked embedded systems that consist of autonomous loosely coupled nodes. The approach is based on the Guarded Statecharts and on a transformation of them to models amenable to a quantitative evaluation, in particular, to Generalized Stochastic Petri Nets. It permits to co...
متن کاملFrom UML statecharts to FPGA - the HiCoS approach
The author in his research has focused on real time digital controllers which traditionally are designed as finite state machines or Petri nets. Such controllers can be effectively modelled with some subset of UML statecharts and next can directly be implemented in programmable logic devices (for example FPGA). This transformation is being realized by a system known as HiCoS (abbreviation comes...
متن کامل